On the Relation between Reiter’s Default Logic and its (major) Variants
نویسندگان
چکیده
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from the original. In this paper we show that these variants are in a sense superfluous, in that for any of these variants of default logic, we can exactly mimic the behaviour of a variant in standard default logic. We accomplish this by translating a default theory under a variant interpretation into a second default theory wherein the variant interpretation is respected.
منابع مشابه
Expressing Default Logic Variants in Default Logic
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have subsequently been proposed to give systems with properties differing from the original. In this paper, we examine the relationship between default logic and its major variants. We accomplish this by translating a default theory under a variant inte...
متن کاملA Coherent and Paraconsistent Variant of the Default Logic
Reiter’s default logic is supposed to reasoning on consistent knowledge; when inconsistencies or contradictions are present in a default theory, no useful conclusions can be extracted. In the past years, fragments and variants of the default logic are proposed to avoid or handle inconsistencies or contradictions. Unfortunately, the expressive and reasoning power of these fragments are strictly ...
متن کاملFour-Valued Semantics for Default Logic
Reiter’s default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the only trivial extension which everything follows from. In this paper, we propose a default logic based on fourvalued semantics, which endows default logic with the ability of handling inconsistency without leading to triviality. We define four-valued models for default t...
متن کاملParaconsistent default reasoning
In this paper, a novel technique called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension. To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split. It is proven that the bi-defau...
متن کاملOn the Relation between Reiter's Default Logic and Its (Major)
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from the original. In this paper we show that these variants are in a sense superfluous, in that for any of these variants of default logic, we can exactly mimic the behaviour of a varian...
متن کامل